/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package view.base.files;

import javax.swing.JFileChooser;
import model.Prover;
import view.base.TabsPanel;

/**
 *
 * @author camil
 */
public class LoadOperatorsPanel extends view.base.files.ChooseFilePanel {

    TabsPanel frame = null;

    public LoadOperatorsPanel(TabsPanel f) {
        super();
        frame = f;
        setButtonName("Load");
    }

    /**
     * load operators from file
     */
    @Override
    public void action() {
        frame.operatorsFile = file.getPath();
        frame.initOperators();
    }
}
